Optimal. Leaf size=123 \[ -\frac {14 d^2 \cosh (a+b x)}{9 b^3}-\frac {2 (c+d x)^2 \cosh (a+b x)}{3 b}+\frac {2 d^2 \cosh ^3(a+b x)}{27 b^3}+\frac {4 d (c+d x) \sinh (a+b x)}{3 b^2}+\frac {(c+d x)^2 \cosh (a+b x) \sinh ^2(a+b x)}{3 b}-\frac {2 d (c+d x) \sinh ^3(a+b x)}{9 b^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.09, antiderivative size = 123, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {3392, 3377,
2718, 2713} \begin {gather*} \frac {2 d^2 \cosh ^3(a+b x)}{27 b^3}-\frac {14 d^2 \cosh (a+b x)}{9 b^3}-\frac {2 d (c+d x) \sinh ^3(a+b x)}{9 b^2}+\frac {4 d (c+d x) \sinh (a+b x)}{3 b^2}-\frac {2 (c+d x)^2 \cosh (a+b x)}{3 b}+\frac {(c+d x)^2 \sinh ^2(a+b x) \cosh (a+b x)}{3 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2713
Rule 2718
Rule 3377
Rule 3392
Rubi steps
\begin {align*} \int (c+d x)^2 \sinh ^3(a+b x) \, dx &=\frac {(c+d x)^2 \cosh (a+b x) \sinh ^2(a+b x)}{3 b}-\frac {2 d (c+d x) \sinh ^3(a+b x)}{9 b^2}-\frac {2}{3} \int (c+d x)^2 \sinh (a+b x) \, dx+\frac {\left (2 d^2\right ) \int \sinh ^3(a+b x) \, dx}{9 b^2}\\ &=-\frac {2 (c+d x)^2 \cosh (a+b x)}{3 b}+\frac {(c+d x)^2 \cosh (a+b x) \sinh ^2(a+b x)}{3 b}-\frac {2 d (c+d x) \sinh ^3(a+b x)}{9 b^2}+\frac {(4 d) \int (c+d x) \cosh (a+b x) \, dx}{3 b}-\frac {\left (2 d^2\right ) \text {Subst}\left (\int \left (1-x^2\right ) \, dx,x,\cosh (a+b x)\right )}{9 b^3}\\ &=-\frac {2 d^2 \cosh (a+b x)}{9 b^3}-\frac {2 (c+d x)^2 \cosh (a+b x)}{3 b}+\frac {2 d^2 \cosh ^3(a+b x)}{27 b^3}+\frac {4 d (c+d x) \sinh (a+b x)}{3 b^2}+\frac {(c+d x)^2 \cosh (a+b x) \sinh ^2(a+b x)}{3 b}-\frac {2 d (c+d x) \sinh ^3(a+b x)}{9 b^2}-\frac {\left (4 d^2\right ) \int \sinh (a+b x) \, dx}{3 b^2}\\ &=-\frac {14 d^2 \cosh (a+b x)}{9 b^3}-\frac {2 (c+d x)^2 \cosh (a+b x)}{3 b}+\frac {2 d^2 \cosh ^3(a+b x)}{27 b^3}+\frac {4 d (c+d x) \sinh (a+b x)}{3 b^2}+\frac {(c+d x)^2 \cosh (a+b x) \sinh ^2(a+b x)}{3 b}-\frac {2 d (c+d x) \sinh ^3(a+b x)}{9 b^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.24, size = 86, normalized size = 0.70 \begin {gather*} \frac {-81 \left (2 d^2+b^2 (c+d x)^2\right ) \cosh (a+b x)+\left (2 d^2+9 b^2 (c+d x)^2\right ) \cosh (3 (a+b x))-6 b d (c+d x) (-27 \sinh (a+b x)+\sinh (3 (a+b x)))}{108 b^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(342\) vs.
\(2(111)=222\).
time = 0.42, size = 343, normalized size = 2.79
method | result | size |
risch | \(\frac {\left (9 b^{2} d^{2} x^{2}+18 b^{2} c d x +9 b^{2} c^{2}-6 b \,d^{2} x -6 b c d +2 d^{2}\right ) {\mathrm e}^{3 b x +3 a}}{216 b^{3}}-\frac {3 \left (b^{2} d^{2} x^{2}+2 b^{2} c d x +b^{2} c^{2}-2 b \,d^{2} x -2 b c d +2 d^{2}\right ) {\mathrm e}^{b x +a}}{8 b^{3}}-\frac {3 \left (b^{2} d^{2} x^{2}+2 b^{2} c d x +b^{2} c^{2}+2 b \,d^{2} x +2 b c d +2 d^{2}\right ) {\mathrm e}^{-b x -a}}{8 b^{3}}+\frac {\left (9 b^{2} d^{2} x^{2}+18 b^{2} c d x +9 b^{2} c^{2}+6 b \,d^{2} x +6 b c d +2 d^{2}\right ) {\mathrm e}^{-3 b x -3 a}}{216 b^{3}}\) | \(231\) |
default | \(\frac {-\frac {3 d^{2} \left (\left (b x +a \right )^{2} \cosh \left (b x +a \right )-2 \left (b x +a \right ) \sinh \left (b x +a \right )+2 \cosh \left (b x +a \right )\right )}{4 b^{2}}+\frac {3 d^{2} a \left (\left (b x +a \right ) \cosh \left (b x +a \right )-\sinh \left (b x +a \right )\right )}{2 b^{2}}-\frac {3 d^{2} a^{2} \cosh \left (b x +a \right )}{4 b^{2}}-\frac {3 c d \left (\left (b x +a \right ) \cosh \left (b x +a \right )-\sinh \left (b x +a \right )\right )}{2 b}+\frac {3 c d a \cosh \left (b x +a \right )}{2 b}-\frac {3 c^{2} \cosh \left (b x +a \right )}{4}}{b}+\frac {\frac {d^{2} \left (\left (3 b x +3 a \right )^{2} \cosh \left (3 b x +3 a \right )-2 \left (3 b x +3 a \right ) \sinh \left (3 b x +3 a \right )+2 \cosh \left (3 b x +3 a \right )\right )}{b^{2}}-\frac {6 d^{2} a \left (\left (3 b x +3 a \right ) \cosh \left (3 b x +3 a \right )-\sinh \left (3 b x +3 a \right )\right )}{b^{2}}+\frac {9 d^{2} a^{2} \cosh \left (3 b x +3 a \right )}{b^{2}}+\frac {6 c d \left (\left (3 b x +3 a \right ) \cosh \left (3 b x +3 a \right )-\sinh \left (3 b x +3 a \right )\right )}{b}-\frac {18 c d a \cosh \left (3 b x +3 a \right )}{b}+9 c^{2} \cosh \left (3 b x +3 a \right )}{108 b}\) | \(343\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 269 vs.
\(2 (111) = 222\).
time = 0.28, size = 269, normalized size = 2.19 \begin {gather*} \frac {1}{36} \, c d {\left (\frac {{\left (3 \, b x e^{\left (3 \, a\right )} - e^{\left (3 \, a\right )}\right )} e^{\left (3 \, b x\right )}}{b^{2}} - \frac {27 \, {\left (b x e^{a} - e^{a}\right )} e^{\left (b x\right )}}{b^{2}} - \frac {27 \, {\left (b x + 1\right )} e^{\left (-b x - a\right )}}{b^{2}} + \frac {{\left (3 \, b x + 1\right )} e^{\left (-3 \, b x - 3 \, a\right )}}{b^{2}}\right )} + \frac {1}{24} \, c^{2} {\left (\frac {e^{\left (3 \, b x + 3 \, a\right )}}{b} - \frac {9 \, e^{\left (b x + a\right )}}{b} - \frac {9 \, e^{\left (-b x - a\right )}}{b} + \frac {e^{\left (-3 \, b x - 3 \, a\right )}}{b}\right )} + \frac {1}{216} \, d^{2} {\left (\frac {{\left (9 \, b^{2} x^{2} e^{\left (3 \, a\right )} - 6 \, b x e^{\left (3 \, a\right )} + 2 \, e^{\left (3 \, a\right )}\right )} e^{\left (3 \, b x\right )}}{b^{3}} - \frac {81 \, {\left (b^{2} x^{2} e^{a} - 2 \, b x e^{a} + 2 \, e^{a}\right )} e^{\left (b x\right )}}{b^{3}} - \frac {81 \, {\left (b^{2} x^{2} + 2 \, b x + 2\right )} e^{\left (-b x - a\right )}}{b^{3}} + \frac {{\left (9 \, b^{2} x^{2} + 6 \, b x + 2\right )} e^{\left (-3 \, b x - 3 \, a\right )}}{b^{3}}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.35, size = 199, normalized size = 1.62 \begin {gather*} \frac {{\left (9 \, b^{2} d^{2} x^{2} + 18 \, b^{2} c d x + 9 \, b^{2} c^{2} + 2 \, d^{2}\right )} \cosh \left (b x + a\right )^{3} + 3 \, {\left (9 \, b^{2} d^{2} x^{2} + 18 \, b^{2} c d x + 9 \, b^{2} c^{2} + 2 \, d^{2}\right )} \cosh \left (b x + a\right ) \sinh \left (b x + a\right )^{2} - 6 \, {\left (b d^{2} x + b c d\right )} \sinh \left (b x + a\right )^{3} - 81 \, {\left (b^{2} d^{2} x^{2} + 2 \, b^{2} c d x + b^{2} c^{2} + 2 \, d^{2}\right )} \cosh \left (b x + a\right ) + 18 \, {\left (9 \, b d^{2} x + 9 \, b c d - {\left (b d^{2} x + b c d\right )} \cosh \left (b x + a\right )^{2}\right )} \sinh \left (b x + a\right )}{108 \, b^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 284 vs.
\(2 (121) = 242\).
time = 0.38, size = 284, normalized size = 2.31 \begin {gather*} \begin {cases} \frac {c^{2} \sinh ^{2}{\left (a + b x \right )} \cosh {\left (a + b x \right )}}{b} - \frac {2 c^{2} \cosh ^{3}{\left (a + b x \right )}}{3 b} + \frac {2 c d x \sinh ^{2}{\left (a + b x \right )} \cosh {\left (a + b x \right )}}{b} - \frac {4 c d x \cosh ^{3}{\left (a + b x \right )}}{3 b} + \frac {d^{2} x^{2} \sinh ^{2}{\left (a + b x \right )} \cosh {\left (a + b x \right )}}{b} - \frac {2 d^{2} x^{2} \cosh ^{3}{\left (a + b x \right )}}{3 b} - \frac {14 c d \sinh ^{3}{\left (a + b x \right )}}{9 b^{2}} + \frac {4 c d \sinh {\left (a + b x \right )} \cosh ^{2}{\left (a + b x \right )}}{3 b^{2}} - \frac {14 d^{2} x \sinh ^{3}{\left (a + b x \right )}}{9 b^{2}} + \frac {4 d^{2} x \sinh {\left (a + b x \right )} \cosh ^{2}{\left (a + b x \right )}}{3 b^{2}} + \frac {14 d^{2} \sinh ^{2}{\left (a + b x \right )} \cosh {\left (a + b x \right )}}{9 b^{3}} - \frac {40 d^{2} \cosh ^{3}{\left (a + b x \right )}}{27 b^{3}} & \text {for}\: b \neq 0 \\\left (c^{2} x + c d x^{2} + \frac {d^{2} x^{3}}{3}\right ) \sinh ^{3}{\left (a \right )} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 230 vs.
\(2 (111) = 222\).
time = 0.41, size = 230, normalized size = 1.87 \begin {gather*} \frac {{\left (9 \, b^{2} d^{2} x^{2} + 18 \, b^{2} c d x + 9 \, b^{2} c^{2} - 6 \, b d^{2} x - 6 \, b c d + 2 \, d^{2}\right )} e^{\left (3 \, b x + 3 \, a\right )}}{216 \, b^{3}} - \frac {3 \, {\left (b^{2} d^{2} x^{2} + 2 \, b^{2} c d x + b^{2} c^{2} - 2 \, b d^{2} x - 2 \, b c d + 2 \, d^{2}\right )} e^{\left (b x + a\right )}}{8 \, b^{3}} - \frac {3 \, {\left (b^{2} d^{2} x^{2} + 2 \, b^{2} c d x + b^{2} c^{2} + 2 \, b d^{2} x + 2 \, b c d + 2 \, d^{2}\right )} e^{\left (-b x - a\right )}}{8 \, b^{3}} + \frac {{\left (9 \, b^{2} d^{2} x^{2} + 18 \, b^{2} c d x + 9 \, b^{2} c^{2} + 6 \, b d^{2} x + 6 \, b c d + 2 \, d^{2}\right )} e^{\left (-3 \, b x - 3 \, a\right )}}{216 \, b^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.41, size = 184, normalized size = 1.50 \begin {gather*} -\frac {\frac {3\,d^2\,\mathrm {cosh}\left (a+b\,x\right )}{2}-\frac {d^2\,\mathrm {cosh}\left (3\,a+3\,b\,x\right )}{54}+\frac {3\,b^2\,c^2\,\mathrm {cosh}\left (a+b\,x\right )}{4}-\frac {b^2\,c^2\,\mathrm {cosh}\left (3\,a+3\,b\,x\right )}{12}+\frac {3\,b^2\,d^2\,x^2\,\mathrm {cosh}\left (a+b\,x\right )}{4}+\frac {b\,c\,d\,\mathrm {sinh}\left (3\,a+3\,b\,x\right )}{18}-\frac {3\,b\,d^2\,x\,\mathrm {sinh}\left (a+b\,x\right )}{2}-\frac {b^2\,d^2\,x^2\,\mathrm {cosh}\left (3\,a+3\,b\,x\right )}{12}+\frac {b\,d^2\,x\,\mathrm {sinh}\left (3\,a+3\,b\,x\right )}{18}-\frac {3\,b\,c\,d\,\mathrm {sinh}\left (a+b\,x\right )}{2}-\frac {b^2\,c\,d\,x\,\mathrm {cosh}\left (3\,a+3\,b\,x\right )}{6}+\frac {3\,b^2\,c\,d\,x\,\mathrm {cosh}\left (a+b\,x\right )}{2}}{b^3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________